-
1 temporal logic
-
2 temporal logic
Большой англо-русский и русско-английский словарь > temporal logic
-
3 temporal logic
1) Вычислительная техника: временная логика2) Программирование: темпоральная логика3) Робототехника: временная логика (в системе логического управления) -
4 Temporal Logic
Physics: TL -
5 temporal logic
rare <i&c> ■ Zeitlogik f -
6 temporal logic
English-Russian dictionary of computer science and programming > temporal logic
-
7 temporal logic
tijdgebonden logica -
8 temporal logic
logika temporalna -
9 temporal logic
logika temporalnaEnglish-Polish dictionary of Electronics and Computer Science > temporal logic
-
10 temporal logic
-
11 temporal logic
-
12 temporal logic
English-Russian dictionary of computer science > temporal logic
-
13 Temporal Logic Of Actions
Physics: TLAУниверсальный русско-английский словарь > Temporal Logic Of Actions
-
14 Temporal Logic Query
Computers: TLQУниверсальный русско-английский словарь > Temporal Logic Query
-
15 linear temporal logic
Программирование: линейная темпоральная логика -
16 real-time temporal logic
Программирование: темпоральная логика реального времениУниверсальный англо-русский словарь > real-time temporal logic
-
17 logic
1) логика2) логическая часть, логический узел ( ЭВМ)3) логическая схема; логические схемы, логика•- adaptive logic
- address-comparison logic
- address-recognition logic
- address-selection logic
- all-magnetic logic
- all-transistor logic
- arbitration logic
- arithmetic logic
- binary logic
- bipolar logic
- Boolean logic
- carry determination logic
- cellular logic
- circuit logic
- clocked logic
- closed-cell logic
- combinational logic
- combinatorial logic
- combinatory logic
- command decode logic
- comparison logic
- compatible logic
- complementary transistor logic
- complementary transistor-resistor logic
- computer logic
- constructive logic
- control logic
- core logic
- crisp logic
- current injection logic
- current mode logic
- current sinking logic
- current steering logic
- current-hogging logic
- custom logic
- data manipulation logic
- decryption logic
- degating logic
- derivative logic
- designer choice logic
- design-for-test logic
- differential logic
- digit logic
- diode logic
- diode-emitter coupled logic
- diode-transistor logic
- direct-coupled transistor logic
- distributed logic
- double-rail logic
- emitter-emitter-coupled transistor logic
- emitter-coupled transistor logic
- emitter-emitter-coupled logic
- emitter-coupled logic
- emitter-follower logic
- epistemic logic
- error-checking logic
- failure detection logic
- fault-masking logic
- feature logic
- field-programmable logic
- fluid logic
- formal logic
- fuzzy logic
- glue logic
- hardwired logic
- high-noise-immunity logic
- high-threshold logic
- Hoare logic
- incremental logic
- inferencial logic
- injection-coupled logic
- instruction logic
- integrated injection logic
- interface logic
- interrupt logic
- irregular logic
- Josephson junction logic
- kindred logic
- ladder logic
- level logic
- linearly independent logic
- locked-pair logic
- logic under test
- low level logic
- machine logic
- magneto-optical logic
- majority-vote logic
- majority logic
- many-valued logic
- mathematical logic
- merged logic
- merged-transistor logic
- microprogrammed logic
- microwatt logic
- microwave logic
- modal logic
- modified diode-transistor logic
- morphic logic
- multiple-valued logic
- multi-valued logic
- multiaperture device logic
- multihpase pulse logic
- nanosecond logic
- negative logic
- N-level logic
- nonmonotonic logic
- N-out-of-M logic
- N-valued logic
- on-board logic
- on-chip control logic
- optoelectronic logic
- out-of-order issue logic
- paging logic
- parametron logic
- path programmable logic
- per-bit logic
- philosophical logic
- positive logic
- possibilistic logic
- probabilistic logic
- processing logic
- programmable array logic
- programmable logic
- programmed logic
- quadded logic
- random logic
- random sequential logic
- recovery logic
- reference logic
- regular logic
- relay logic
- relevance logic
- resistor-capacitor-transistor logic
- resistor-coupled transistor logic
- resistor-diode-transistor logic
- resistor-transistor logic
- ripple-carry logic
- save-carry logic
- Schottky transistor-transistor logic
- sector-buffering logic
- self-checking logic
- self-timed logic
- sequential logic
- single-phase pulse logic
- single-sorted logic
- solid-state logic
- stored logic
- structured logic
- switching logic
- symbolic logic
- temporal logic
- ternary logic
- test logic
- three-level logic
- three-state logic
- three-value logic
- threshold logic
- timed-access logic
- timing logic
- transaction logic
- transister logic
- transistor-coupled logic
- transistor-diode logic
- transistor-resistor logic
- transistor-transistor logic
- tri-state logic
- tube-and-diode logic
- tunnel-diode logic
- two-valued logic
- unconditional logic
- user-definable logic
- variable logic
- variable threshold logic
- vertical injection logic
- wired logic
- wired-OR, wired-AND logic
- word logicEnglish-Russian dictionary of computer science and programming > logic
-
18 temporal
1. a мирской; светский, гражданский2. a временный, скоротечный, преходящий; бренный, тленныйtemporal binding — связь по времени; временная связь
3. a грам. временной4. a стих. различающийся долготой слога5. n височная кость6. n височная артерия7. a анат. височныйСинонимический ряд:1. material (adj.) material; physical; tangible2. materialistic (adj.) banausic; earthy; materialistic; mundane; sensual; worldly3. passing (adj.) brief; ephemeral; evanescent; fleeting; fugitive; momentary; passing; short-lived; temporary; transient; transitory4. secular (adj.) civil; earthly; lay; non-spiritual; profane; secular; terrestrial; unsacredАнтонимический ряд:celestial; clerical; permanent; spiritual -
19 logic
[ˈlɔdʒɪk]belief logic логика веры binary logic вчт. двузначная логика byte-alignment logic вчт. логика перегруппировки байтов command logic вчт. логика команд common-sense logic логика здравого смысла constructive logic конструктивная логика control logic вчт. управляющая логика default logic вчт. логика рассуждений по умолчанию distributed logic вчт. распределенное управление dynamic logic вчт. динамическая логика first order logic логика первого порядка formal logic формальная логика fuzzy logic нечеткая логика inductive logic индуктивная логика intuitionistic logic интуиционистская логика ladder logic вчт. многозвенная логическая схема logic логика logic логическая схема logic логичность monotonic logic монотонная логика multivalued logic многозначная логика non-monotonic logic немонотонная логика operational logic логика действий presumed logic предопределенная логика probabilitic logic вероятностная логика probablistic logic вероятностная логика propositional logic пропозициональная логика pseudophysical logic псевдофизическая логика relevance logic логика определения релевантности second order logic логика второго порядка spatial logic пространственная логика stored logic вчт. зашитый алгоритм system logic вчт. системная логика temporal logic вчт. временная логика ternary logic вчт. трехзначная логика threshold logic пороговая логика two-line logic вчт. двухпроводная логическая схема wasted logic вчт. лишняя логическая схема -
20 temporal
временной, временный, преходящий, скоротечный
– temporal binding
– temporal hierarchy
– temporal knowledge
– temporal logic
– temporal pattern
– temporal relations
См. также в других словарях:
Temporal logic — In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic… … Wikipedia
Temporal logic of actions — (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.It is used to describe behaviours of concurrent systems.Statements in temporal logic of the form [A] t, where A is an action and t contains a… … Wikipedia
Temporal logic in finite-state verification — In finite state verification, model checkers examine finite state machines representing concurrent software systems looking for errors in design. Errors are defined as violations of requirements expressed as properties of the system. In the event … Wikipedia
Temporal Logic of Actions — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Die Temporale Logik der Aktionen (TLA) ist eine Weiterentwicklung… … Deutsch Wikipedia
temporal logic — noun A form of symbolic logic used to reason about properties of statements related to order and duration … Wiktionary
Interval temporal logic — (also interval logic) is a temporal logic for representing both propositional and first order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences … Wikipedia
Linear temporal logic — (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths such as that a condition will eventually be true, that a condition will be true until another fact becomes true,… … Wikipedia
Linear temporal logic — Lineare temporale Logik (LTL oder Linear temporal logic) ist ein Modell temporaler Logik mit zeitlichen Modalitäten. In LTL, können Formeln über die Zukunft von Pfaden aufgestellt werden, wie dass eine Bedingung irgendwann wahr wird, eine… … Deutsch Wikipedia
Linear Time Temporal Logic — Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Meist wird sie auch mit CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL* Formeln.… … Deutsch Wikipedia
Temporal — can refer to: * of or relating to time ** Temporal database, a database recording aspects of time varying values ** The Temporal power of the Popes of the Roman Catholic Church ** a Lord Temporal, secular member of the House of Lords ** Temporal… … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia